首页> 外文OA文献 >Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material)

【2h】

Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material)

机译：基于交互式规则的配置系统的自动验证（附加材料）

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Additional material for the original paper "Automated Verification ofInteractive Rule-Based Configuration Systems".

机译：原始文件“基于规则的交互式交互配置系统的自动验证”的其他材料。

著录项

作者
Dhungana, Deepak; Tang, Ching Hoo; Weidenbach, Christoph; Wischnewski, Patrick;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种 {"code":"en","name":"English","id":9}
中图分类

相似文献

外文文献
中文文献
专利

1. The potential of automated rule-based verification for fire safety measures in BIM [J] . Kater Marcel, Ruschel Regina Coeli, Kater Marcel, Ambiente Construído . 2020,第4期

机译：BIM中自动化规则验证的潜力
2. Experimental verification of new configurations in the piezoelectric photothermal spectroscopy of semiconductor materials [J] . Bychto L, Malinski M, Zakrzewski J, Journal de Physique, IV: Proceedings of International Conference . 2004,第0期

机译：半导体材料压电光热光谱中新配置的实验验证
3. Automated Formal Verification of Routing in Material Handling Systems [J] . Klotz T., Schonherr J., Sesler N., IEEE transactions on automation science and engineering . 2013,第4期

机译：物料搬运系统中路线的自动形式验证
4. Automated verification of interactive rule-based configuration systems [C] . Dhungana Deepak, Tang Ching Hoo, Weidenbach Christoph, IEEE/ACM International Conference on Automated Software Engineering . 2013

机译：自动验证基于规则的交互式配置系统
5. Efficient protocol verification using rule-based systems. [D] . Bhattacharya, Ritwik. 2006

机译：使用基于规则的系统进行有效的协议验证。
6. Automated integration of external databases: a knowledge-based approach to enhancing rule-based expert systems. [O] . L. Berman, M. R. Cullen, P. L. Miller 1992

机译：外部数据库的自动集成：一种基于知识的方法用于增强基于规则的专家系统。
7. A tool for interactive verification and validation of rule-based expert systems. [O] . Jafar Musa Jafar. 1989

机译：用于交互式验证和确认基于规则的专家系统的工具。
8. Automated verification of system configuration. [R] . W. H. Andrews S. P. Baker A. V. Blalock 1991

机译：自动验证系统配置。

Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material)

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅